A Methodology for Safety Critical Software Systems Planning

نویسندگان

  • EHAB SHAFEI
  • IBRAHIM F. MOAWAD
  • HANY SALLAM
  • ZAKI TAHA
چکیده

Recently Safety Critical Software Systems (SCSSs) become essential part of many critical systems such as Nuclear Power Plants (NPPs), radiation therapy, aircrafts, and many medical devices. Although of the vital role of SCSSs in saving human life, environment, and properties, there is no generic methodology for developing such systems based on standards and guidelines. This methodology sets an integrated model that concerned about the safety of critical software systems as a component of the critical systems. It consists of the needed processes and operations required for developing SCSSs free of faults. This methodology ensures that SCSSs are developed using processes which based on appropriate standards and guidelines and can be accordingly certified. The objective of this methodology is to produce certified critical software systems that comply and conform to standards and guidelines. The methodology consists of three phases (safety planning and requirements phase, safety analysis phase, and design, implementation, and operation phase). This paper is going to focus on safety plans phase. The insulin pump system is applied as a case study on the safety planning and requirements phase. Key-Words: Safety Critical Software Systems, Safety Analysis and Requirements, Insulin Pump

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Methodology for Model-based Verification of Safety Contracts

The verification of safety requirements becomes crucial in critical systems where human lives depend on their correct functioning. Formal methods have often been advocated as necessary to ensure the reliability of software systems, albeit with a considerable effort. In any case, such an effort is cost-effective when verifying safety-critical systems. Often, safety requirements are expressed usi...

متن کامل

Towards Measuring the Project Management Process During Large Scale Software System Implementation Phase

Project management is an important factor to accomplish the decision to implement large-scale software systems (LSS) in a successful manner. The effective project management comes into play to plan, coordinate and control such a complex project. Project management factor has been argued as one of the important Critical Success Factor (CSF), which need to be measured and monitored carefully duri...

متن کامل

A novel fuzzy multi-criteria decision-making methodology based upon the spherical fuzzy sets with a real case study

The choice of roll stabilization system is critical for many types of ships. For warships where operational activities are fast and the concept of time is very effective, determining the most appropriate of these systems is of particular importance. Some operations, such as the landing of the helicopter on board, are critical for naval ships. Unwanted rolling motion makes this difficult. In add...

متن کامل

Independent Verification and Validation of Software for Weapon Management System of a High Performance Aircraft

The failure of safety critical embedded software is unacceptable be it for safety, security or economic reasons. The risk of software failure in complex embedded systems is overcome by using the Independent Verification and Validation (IV&V) technique. The process of IV&V and its planning needs to be initiated early in the development life cycle of the weapon management system for a high perfor...

متن کامل

Formal Methods in the development of safety critical knowledge-based components

The work reported in this paper is part of the ongoing Esprit project Safe-KBS n. 22360∗. A main objective of the project is the definition of a engineering methodology for certifiable knowledge-based software components to be embedded into safety critical systems. Since about a decade the use of formal methods in the development of traditional software for safety critical systems has been grea...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013